Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
291	Symmetry and Entropy of One-Dimensional Legal Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Philosophy of thermal and statistical physics Information theory Cellular automaton Entropy Topological defect Asynchronous cellular automaton Physics Thermodynamic entropy Symmetry
292	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
293	Cellular Automata with an Infinite Number of Subshift Attractors ˚ Petr Kurka Center for Theoretical Study, Academy of Sciences and Charles University, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Shift space Cellular automaton Limit set Automata theory Mathematical analysis Subshift of finite type Combinatorics on words Mathematics Attractor
294	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
295	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
296	CCCG 2010, Winnipeg MB, August 9–11, 2010 Minimum Enclosing Area Triangle with a Fixed Angle Prosenjit Bose∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:18 Ordinal numbers Automata theory Differential geometry Mathematics Connection Fiber bundles
297	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
298	Two-dimensional Totalistic Code 52 Todd Rowland Senior Research Associate, Wolfram Research, Inc. 100 Trade Center Drive, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Science Mathematics Cellular automaton Turing machine Elementary cellular automaton Rule 90 A New Kind of Science Rule 110 Stephen Wolfram Cellular automata Wolfram Research Theory of computation
299	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
300	Cellular Automata and Nonperiodic Orbits Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:57 Operator theory Holomorphic functional calculus

UPDATE